Skip to content

Conversation

@eefriedman
Copy link
Contributor

Fixes #23406.
Fixes #23958.
Fixes #29832.

CC @arielb1

@rust-highfive
Copy link
Contributor

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@eefriedman
Copy link
Contributor Author

r? @arielb1

@arielb1
Copy link
Contributor

arielb1 commented Nov 15, 2015

@bors r+

@bors
Copy link
Collaborator

bors commented Nov 15, 2015

📌 Commit 82ab707 has been approved by arielb1

@bors
Copy link
Collaborator

bors commented Nov 15, 2015

⌛ Testing commit 82ab707 with merge 19abaf8...

bors added a commit that referenced this pull request Nov 15, 2015
@bors bors merged commit 82ab707 into rust-lang:master Nov 15, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants